theorem proving by resolution中文是什么意思

发音:

中文翻译

按分解律的定理証明

non-resolution theorem proving 非解析定理求解
resolution theorem proving 归结定理证明消解式定理证明
resolution theorem-proving 解析定理证明
theorem proving 定理证明
resolution theorem 分解定理; 归结定理
automated theorem proving 自定理明; 自动定理证明
automatic theorem proving 自动定理证明
mechanical theorem proving 机器证明
proving fermat’s last theorem 证明费马最后定理
theorem proving machine 定理证明机
theorem proving representation 定理证明表示
theorem proving technique 定理证明技术
be proving 看来是……
proving 检验的; 药力试验
s theorem 贝叶斯定理
theorem n. 1.(能证明的)一般原理，公理，定律，法则。 2.【数学】定理。 -matic , -matical adj.,-ically adv.
resolution n. 1.决心，果断；坚定，刚毅。 2.(议会等的)决定，决议(案)；【法律】〔罕用语〕判决；(疑问等的)解决，解答。 3.分解，溶解；解析，离析；变形，变化，转化。 4.【医学】(疮肿等的)消散；〔罕用语〕松弛。 5.【音乐】由不谐和音转变为谐和音；【诗】用二短音节代替一长音节。 6.【机械工程】分解力；【自动化】分辨(力)。 a man of no resolution of character 意志不坚定的人。 visual resolution 目力分辨率。 come to a resolution＝from [make, take] a resolution 决心。 make good resolutions 下定改好的决心。 pass a resolution in favour of [against] 通过赞同[反对]…的决议。
block proving 闭塞检查
correspondence proving 符合检查; 照应确认
cross proving 相互检查
elementary proving 基本标定
field proving 现场标定
full proving 全项目标定
initial proving 初始检定
on-line proving 在线标定

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

推荐英语阅读

theorem proving by resolution的中文翻译，theorem proving by resolution是什么意思，怎么用汉语翻译theorem proving by resolution，theorem proving by resolution的中文意思，theorem proving by resolution的中文，theorem proving by resolution in Chinese，theorem proving by resolution的中文，theorem proving by resolution怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Tue, 12 Aug 2025 00:29:56 GMT